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. QoSontology.kif 1093-1093 ComputerPathAttribute est une sous-classe de SoftwareAttribute
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1110-1110 Scalable est une sous-classe de ComputerPathAttribute
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1115-1115 DynamicDataStream est une sous-classe de ComputerPathAttribute
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1120-1120 StochasticDataStream est une sous-classe de ComputerPathAttribute
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1125-1125 DeterministicDataStream est une sous-classe de ComputerPathAttribute
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1143-1143 ContinuousPath est une sous-classe de ComputerPathAttribute
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1149-1149 TransientPath est une sous-classe de ComputerPathAttribute
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1153-1153 QuasicontinuousPath est une sous-classe de ComputerPathAttribute


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