Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1180-1180 子類 UserDirectAction and UserAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1181-1181 子類 UserDirectAction and Icon
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3959-3959 子類 LoggingIn and UserDirectAction
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4008-4008 子類 LoginFailure and UserDirectAction
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4022-4022 子類 SupplyingFingerprint and UserDirectAction
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4023-4023 子類 SupplyingEyeScan and UserDirectAction
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4074-4074 子類 ChangingPassword and UserDirectAction
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4096-4096 子類 ChangingUserName and UserDirectAction
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4118-4118 子類 ChangingAccountInfo and UserDirectAction
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4137-4137 子類 CreatingAnAccount and UserDirectAction
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4316-4316 子類 DataEntry and UserDirectAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1224-1224 子類 KeyboardAction and UserDirectAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1430-1430 子類 Clicking and UserDirectAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1516-1516 子類 SlidingComputerInputDeviceAction and UserDirectAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1533-1533 子類 TouchSurfaceAction and UserDirectAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1633-1633 子類 JoystickMotion and UserDirectAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1652-1652 子類 AudioInput and UserDirectAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1664-1664 子類 ScrollWheelRotating and UserDirectAction


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners