No TPTP formula. May not be expressible in strict first order.	relations-it.txt 109-109
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 110-110
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 111-111
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 113-113
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 119-119
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 121-121
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 122-122
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 124-124
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 125-125
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 126-126
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 127-127
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 128-128
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 129-129
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 130-130
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 131-131
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 132-132
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 134-134
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 138-138
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 140-140
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 147-147
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 148-148
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 141-141
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 142-142
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 143-143
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 144-144
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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